#sistema aéreo

VeriFIRE: verificación de consistencia en detección de incendios con DNN

Descubre cómo el proyecto VeriFIRE verifica propiedades de consistencia en un sistema de detección de incendios con redes neuronales, logrando soluciones rápida